#include <stdio.h>

#line 20 "testabc"
int main()
{
    printf("%d : %s\n", __LINE__, __FILE__);
    return 0;
}
